n (set theory) Any one of the subsets into which an equivalence relation partitions a set, each of these subsets containing all the elements of the set that are equivalent under the equivalence relation.